Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
- Författare
- (Edited by Mauricio Ayala-Rincón, César A. Muñoz.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XIX, 532 sidor. 79 illus. online resource. | 978-3-319-66107-0 |